• Home
• Categories
• Automated reasoning

Automated reasoning

Representing preferences as ceteris paribus comparatives

Automated reasoning

Download

Representing Preferences as Ceteris Paribus Comparatives

Automated reasoning

Download

A Matrix Characterization for Multiplicative Exponential Linear Logic

Cognitive Science / Automated reasoning

Download

Meta-level inference: Two applications

Cognitive Science / Theorem Proving / Automated reasoning

Download